$\forall$$A$, $B$:System. ($\forall$$i$:Id. $A$($i$) $\subseteq$ $B$($i$)) $\Rightarrow$ s{-}dsys($A$) $\subseteq$ s{-}dsys($B$)